문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) ==== 배타적 선언 (XOR; ⊕) ==== Exclusive OR 배타 논리합 ([math(\oplus)]') '둘 중 하나'만을 지시하는 선언문. 즉 "[math(P\oplus Q)]"가 참이면 [math(P)]와 [math(Q)] 둘 중 하나만 참이다. 이는 [math(\wedge)]와 [math(\vee)] 기호를 통해 정의될 수 있다. 즉 "[math(P\oplus Q)]"는 "[math((P\vee Q)\wedge{\sim}(P\wedge Q))]"와 동치다. "망치와 빠루 중 하나를 가지고 와라" 라는 문장이 주어졌을 때, 망치나 빠루 둘 다 가지고 오지 않거나, 둘 다 들고 오면 참이 아니다. || '''P''' || '''Q''' || '''P ∨ Q''' || '''~(P ∧ Q)''' || '''(P ∨ Q) ∧ ~(P ∧ Q)''' || ||T||T|| T || F || F || ||T||F|| T || T || T || ||F||T|| T || T || T || ||F||F|| F || T || F || [math(P)]와 [math(Q)] 모두 참일 때는 거짓임을 볼 수 있다. 또한 [math(P\vee Q)]는 [math({\sim}({\sim}P\wedge{\sim}Q))]와 동치이므로, 선언문은 [math(\wedge)]와 [math(\sim)]만을 이용해 나타낼 수도 있다. 수학(하) 에서의 집합단원의 대칭차집합과 대응된다고 볼 수 있다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기